layout: Use window.is_monitor_sized

Mutter now provides a method for this, so use it.

diff --git a/js/ui/layout.js b/js/ui/layout.js
index edcb0e16a1d723a88f0d7cc1f8d2c9e7e496196a..e76597e8715c7df7e15a6178dac9440cfb70cc93 100644 (file)
--- a/js/ui/layout.js
+++ b/js/ui/layout.js
@@ -776,33 +776,11 @@ const LayoutManager = new Lang.Class({
             if (!window.showing_on_its_workspace())
                 continue;
 
-            if (layer == Meta.StackLayer.FULLSCREEN) {
+            if (window.is_monitor_sized()) {
                 let monitor = this.monitors[metaWindow.get_monitor()];
                 if (monitor)
                     monitor.inFullscreen = true;
             }
-            if (layer == Meta.StackLayer.OVERRIDE_REDIRECT) {
-                // Check whether the window is screen sized
-                let isScreenSized =
-                    (window.x == 0 && window.y == 0 &&
-                    window.width == global.screen_width &&
-                    window.height == global.screen_height);
-
-                if (isScreenSized) {
-                    for (let i = 0; i < this.monitors.length; i++)
-                        this.monitors[i].inFullscreen = true;
-                }
-
-                // Or whether it is monitor sized
-                let monitor = this.monitors[metaWindow.get_monitor()];
-                if (monitor &&
-                    window.x <= monitor.x &&
-                    window.x + window.width >= monitor.x + monitor.width &&
-                    window.y <= monitor.y &&
-                    window.y + window.height >= monitor.y + monitor.height)
-                    monitor.inFullscreen = true;
-            } else
-                break;
         }
     },